Efficient interaction for automated chromosome analysis using asynchronous parallel processes.
نویسندگان
چکیده
منابع مشابه
Automated Reenement Checking for Asynchronous Processes
We consider the problem of reenement checking for asyn-chronous processes where reenement corresponds to stutter-closed language inclusion. Since an eecient algorithmic solution to the reenement check demands the construction of a witness that deenes the private speciication variables in terms of the implementation variables, we rst propose a construction to extract a synchronous witness from t...
متن کاملAutomated Refinement Checking for Asynchronous Processes
We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmic solution to the refinement check demands the construction of a witness that defines the private specification variables in terms of the implementation variables, we first propose a construction to extract a synchronous witnes...
متن کاملanalysis of ruin probability for insurance companies using markov chain
در این پایان نامه نشان داده ایم که چگونه می توان مدل ریسک بیمه ای اسپیرر اندرسون را به کمک زنجیره های مارکوف تعریف کرد. سپس به کمک روش های آنالیز ماتریسی احتمال برشکستگی ، میزان مازاد در هنگام برشکستگی و میزان کسری بودجه در زمان وقوع برشکستگی را محاسبه کرده ایم. هدف ما در این پایان نامه بسیار محاسباتی و کاربردی تر از روش های است که در گذشته برای محاسبه این احتمال ارائه شده است. در ابتدا ما نشا...
15 صفحه اولEfficient Parallel Simulations of Asynchronous Cellular Arrays
A b str act. A defin itio n for a class of asy nch ronous ce llular arrays is proposed. An exa mp le of such asy nchrony woul d be indep endent Poisson arr ivals of cell iterat ions . The Ising model in the continuous time formulation of G lauber falls into t his class. Also proposed are efficient pa ra llel algorithms for simula ting these asynchronous cellular arrays. In t he algorithms , one...
متن کاملEnergy Efficient Functional Unit For A Parallel Asynchronous DSP
With the explosive growth in portable applications, power efficient computing in a Digital Signal Processor (DSP) is becoming a significant and challenging area of research. Clock-less or asynchronous timing is applied to eliminate clock generation, buffering and distribution at the system level. This paper presents the energy efficient functional unit for an asynchronous DSP implemented on fou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Histochemistry & Cytochemistry
سال: 1979
ISSN: 0022-1554,1551-5044
DOI: 10.1177/27.1.374606